COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	DECLARE INDVAR x y X Y Z,INDCONST Jack Jerry Jim Joe banker dentist doctor
C00004 ENDMK
C⊗;
DECLARE INDVAR x y X Y Z,INDCONST Jack Jerry Jim Joe banker dentist doctor
lawyer,PREDCONST like 2;

AXIOM PUZZ:
ACTORS: ¬Jack=Jerry,
        ¬Jack=Jim,
        ¬Jack=Joe,
        ¬Jerry=Jim,
        ¬Jerry=Joe,
        ¬Jim=Joe,
        ¬banker=dentist,
        ¬banker=doctor,
        ¬banker=lawyer,
        ¬dentist=doctor,
        ¬dentist=lawyer,
        ¬doctor=lawyer,
        Jack=banker∨Jack=dentist∨Jack=doctor∨Jack=lawyer,
        Jerry=banker∨Jerry=dentist∨Jerry=doctor∨Jerry=lawyer,
        Jim=banker∨Jim=dentist∨Jim=doctor∨Jim=lawyer,
        Joe=banker∨Joe=dentist∨Joe=doctor∨Joe=lawyer;
FACTS:  ¬Jim=dentist,
        ¬Joe=dentist,
        ¬like(Jim,Joe),
        ¬like(dentist,Joe),
        ¬Jack=lawyer,
        like(Jack,lawyer),
        ¬Joe=doctor,
        ¬banker=Jerry,
        ¬lawyer=Jerry,
        like(banker,Jerry),
        like(banker,lawyer),
        ∀x y.(like(x,y)⊃like(y,x));;;